[IA64] add memory barrier to domain_flush_vtlb_range()
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 9 Jun 2006 16:35:38 +0000 (10:35 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 9 Jun 2006 16:35:38 +0000 (10:35 -0600)
commiteb4c00fc515c6360f60b25efe3c4d39129a3eab1
tree4796e3c45acc86474641937e9012f5b43fc76992
parent774ae11f51bdc3194cd1f06a68271e1b94409cdd
[IA64] add memory barrier to domain_flush_vtlb_range()

add memory barrier to domain_flush_vtlb_range().
vtlb purge must be visible before vhpt invalidation.
added some BUG_ON().

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/vcpu.c
xen/arch/ia64/xen/vhpt.c